(declare-const i0 Int)
(declare-const i1 Int)
(declare-const i2 Int)
(declare-const Str0 String)
(declare-const Str8 String)
(declare-const Str19 String)
(assert (distinct Str0 Str19 (str.substr Str8 0 (div i0 (* i2 i0 i2 i0 i1))) "fulufqfljv" ""))
(check-sat)
